logic programming的例句大全

Inductive logic programming was defined as the intersection of machine learning and logic programming.

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域.

网络文摘精选

Design electrical lighting and motion control systems, including control logic programming and harness layout.

设计电气照明和控制系统, 包括控制逻辑程序和动力设计.

互联网摘选

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

互联网摘选

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

互联网摘选

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

互联网摘选

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

互联网摘选

The backtracking mechanism is an important facility for programming in logic.

回溯机制是逻辑程序设计的重要设施.

互联网摘选

This paper introduces the structure and performance of bus master SCSI chips produced by LSI logic company and describes the SCSI SCRIPTS language used in the SCSI programming.

文章以LSI Logic公司出品的总线主控型SCSI芯片为例，对总线主控型SCSI芯片的结构和性能作了介绍，并详细说明了用于底层SCSI编程的SCSISCRIPTS语言。

互联网摘选

In this paper, we designed and developed the network monitoring and management system based on logic three tiered B/ S architecture model, by using Windows system programming, SQL server and ASP technology.

本文从我校机房管理的实际功能需求出发，采用Windows系统编程、Sql Server及ASP技术等，设计与开发了基于3层B/S结构的网络监控管理系统，对学生上机实现自动化管理。

互联网摘选